But the formal logic analysis system can validate it in a credible and strict way before protocol was applied, it is one of the most promising way for protocol checking.
而形式化逻辑分析方法可以在协议实施之前就用严格可靠的方法对其进行分析验证,是一个最有前途的研究方法。
First, fuzzy formal concept analysis introduces the fuzzy logic into formal concept analysis to construct fuzzy concept lattice.
首先,模糊形式概念分析将模糊逻辑嵌入形式概念分析以构成模糊概念格。
We can find that "Needham Puzzle" is a completely worthless pseudo-problem under the strict analysis in line of formal logic with distinct concepts.
我们只要运用概念明晰的形式逻辑方法对之进行严密的逻辑分析,就会发现“李约瑟难题”完全是一个毫无研究价值的“伪问题”。
应用推荐